Universal algebra

Results: 475



#Item
241Category theory / Monoidal categories / Type theory / Limit / Cartesian closed category / Enriched category / Functor / Universal property / Subtype polymorphism / Mathematics / Abstract algebra / Algebra

Functors are Type Refinement Systems Paul-André Melliès Noam Zeilberger CNRS, Université Paris Diderot

Add to Reading List

Source URL: noamz.org

Language: English - Date: 2014-10-31 10:07:15
242Lambda calculus / Functions and mappings / Combinatory logic / Abstract algebra / Algebraic structures / Function / Universal algebra / Representation theory / Outline of algebraic structures / Mathematics / Mathematical logic / Theoretical computer science

From the introduction to The Combinatory Programme by E. Engeler

Add to Reading List

Source URL: www.math.ethz.ch

Language: English - Date: 2000-07-25 10:14:32
243Representation theory / Multilinear algebra / Ring theory / Lie algebra / Hopf algebra / Symbol / Symmetric algebra / Tensor product / Exterior algebra / Abstract algebra / Mathematics / Algebras

A universal formula for representing Lie algebra generators as formal power series with coefficients in the Weyl algebra Nikolai Durov Max Planck Institut f¨

Add to Reading List

Source URL: bib.irb.hr

Language: English - Date: 2006-10-02 09:09:43
244Representation theory / Hopf algebras / Lie groups / Mathematical physics / Lie algebras / Universal enveloping algebra / Universal property / Crossed product / Tangent space / Abstract algebra / Algebra / Physics

October 5, 2011 2:32 WSPC/INSTRUCTION FILE heisd arXiv:0909.3769v2 [math.QA] 3 Oct 2011

Add to Reading List

Source URL: bib.irb.hr

Language: English - Date: 2011-10-14 10:14:22
245Category theory / Algebraic topology / Associative algebra / Operad theory / Universal property / Functor / Quasi-isomorphism / Homotopy category / Lie algebra / Abstract algebra / Algebra / Mathematics

ALGEBRA + HOMOTOPY = OPERAD BRUNO VALLETTE “If I could only understand the beautiful consequence following from the concise proposition d2 = 0.” Henri Cartan A BSTRACT. This survey provides an elementary introductio

Add to Reading List

Source URL: math.unice.fr

Language: English - Date: 2011-12-06 09:29:11
246Poisson algebra / C*-algebra / Lie algebra / Spectrum of a ring / Poisson manifold / Universal enveloping algebra / Abstract algebra / Algebra / Symplectic geometry

Quantum Schubert Cells and Quantum Flag Variaties Representation Theory and Quantization Fields Institute, February 25-27, 2011 Milen Yakimov Louisiana State University

Add to Reading List

Source URL: www.fields.utoronto.ca

Language: English - Date: 2011-03-03 12:36:19
247Mathematics / Formal languages / Structure / Universal algebra / Interpretation / Dual / Orbifold / Model theory / Logic / Metalogic

STAIRS 2014 U. Endriss and J. Leite (Eds.) © 2014 The Authors and IOS Press. This article is published online with Open Access by IOS Press and distributed under the terms of the Creative Commons Attribution Non-Commerc

Add to Reading List

Source URL: www.cs.nott.ac.uk

Language: English - Date: 2014-09-26 16:26:02
248Symbol / Regular language / Structure / Mathematics / Logic / Metaphilosophy / Model theory / Universal algebra / Metalogic

Logics with an existential modality Natasha Alechina and Dmitry Shkatov abstract. We consider multi-modal logics interpreted over edge-labelled graphs with a modality #, where #ϕ means ‘ϕ is accessible by an edge

Add to Reading List

Source URL: www.cs.nott.ac.uk

Language: English - Date: 2009-09-20 10:33:46
249Universal algebra / Natural language processing / Artificial intelligence / Information extraction / Semantic role labeling / Ext JS / Precision and recall / Structure / Sentence / Linguistics / Science / Computational linguistics

Semantic Role Labeling for Open Information Extraction Janara Christensen, Mausam, Stephen Soderland and Oren Etzioni University of Washington, Seattle Abstract

Add to Reading List

Source URL: ai.cs.washington.edu

Language: English - Date: 2010-05-17 18:10:38
250Lie algebras / Algebras / Lie groups / Adjoint functors / Functor / Representation theory / Equivalence of categories / Universal property / Tensor product / Abstract algebra / Mathematics / Category theory

Theory and Applications of Categories, Vol. 25, No. 10, 2011, pp. 251–275. HIGHER CATEGORIFIED ALGEBRAS VERSUS BOUNDED HOMOTOPY ALGEBRAS DAVID KHUDAVERDYAN, ASHIS MANDAL, AND NORBERT PONCIN Abstract. We define Lie 3-

Add to Reading List

Source URL: www.tac.mta.ca

Language: English - Date: 2011-06-17 14:37:53
UPDATE